Operation Moonshot proposals are scientifically unsound

Coinductive Intersection Types are Completely Unsound

Moonshot Acceleration Factor: Medical Imaging.

Medical imaging is essential to screening, early diagnosis, and monitoring responses to cancer treatments and, when used with other diagnostics, provides guidance for clinicians in choosing the most effective patient management plan that maximizes survivorship and quality of life. At a gathering of agency officials, patient advocacy organizations, industry/professional stakeholder groups, and c...

Unsound Inferences Make Proofs Shorter

We give examples of calculi that extend Gentzen’s sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs.

Moonshot Science—Risks and Benefits

Ever since the successful Apollo 11 Moon landing in 1969, a "moonshot" has come to signify a bold effort to achieve a seemingly impossible task. The Obama administration recently called for a moonshot to cure cancer, an initiative that has elicited mixed responses from researchers who welcome additional funding but worry about raising expectations. We suggest that a successful moonshot requires...

How good are detection proposals, really?

Object detection is traditionally instantiated in the well known “sliding window” paradigm where a classifier is evaluated over an exhaustive list of positions, scales, and aspect ratios. This approach evaluates the classifier at about ∼ 106 different locations. To alleviate computation pressure by avoiding exhaustive search, recent detectors delegate the selection of candidate detections to a ...